Reasoning About Dynamic Aspectual Requirements
نویسندگان
چکیده
Aspect-oriented requirements modelling separates the early crosscutting concerns as quality requirements such that one can reason about such requirements without cluttering with another. In this chapter, we propose a step further to reason about the dynamic goal models while the separated aspectual requirements are also dynamic. The key to this step is a list of change propagation rules for the goal models such that it is possible to reuse as much previous reasoning results as possible. To demonstrate, we use the Crisis Management System case study to indicate the application of these rules.
منابع مشابه
Temporal reasoning with aspectual adverbials
This paper' presents an analysis of dynamic temporal reasoning with Dutch adverbials of aspectual focus. The crucial property of focus constructions is the inherent opposition between the actual value for a given parameter and the possible alternatives in the speaker's expectation. The dynamic perspective tries to account for the fact that when new information is added, certain components are u...
متن کاملThe dynamic semantics of aspectual adverbs
In ordinary English aspectual adverbs such as in French and English encore/still, ne pas encore/not yet, déja/already, and enfin/finally are used to create temporal coherence in local contexts, as well as to carry prosodic features that directly indicate the speaker’s epistemic attitudes towards the course of events described. In multi-agent contexts factual information, or the content asserted...
متن کاملAspectual Classes and Scales of Change
In this paper I outline a theory of aspectual classes based on theories of scalar change (Hay et al. 1999, Kennedy and Levin 2008). Standard models of aspectual classes focus on event decompositional or featural distinctions between predicates. However, such classifications often overor undergenerate, and also do not necessarily capture the temporal properties upon which aspectual classificatio...
متن کاملContent in Context
The way in which we express information in time about time in ordinary English provides a core empirical domain to study the dynamics of interpretive and inferential processes in context. This paper advocates the view that contexts are tree-structures that represent static and dynamic information content, to allow for a configurational characterization of situated inference. In an interpretatio...
متن کاملHandling Conflicts in Aspectual Requirements Compositions
Composing aspectual concerns with base concerns may raise conflicting situations that need to be identified and resolved. A conflict is detected whenever two or more concerns that contribute negatively to each other and have the same importance need to be composed together. This paper discusses the use of Multiple Criteria Decision Making (MCDM) methods to support aspectual conflict management ...
متن کامل